theorem machine prove中文什么意思

定理机器证明

• theorem:    n. 1.(能证明的)一般原理，公理 ...
• machine:    n. 1.机(器)，机械；机关，机构 ...
• prove:    vt. ( -d; -d, 〔古、美 ...